Derek Stanford - PDFSEARCH.IO - Document Search Engine

Derek Stanford
Results: 29

#	Item
11	Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:16
12	Muriel Spark and the Business of Poetry, or All the Poems of Muriel Spark, New Directions, New York; and Carcanet, England, xii, pp129, 2004. Add to Reading List Source URL: www.agendapoetry.co.uk Language: English - Date: 2011-11-19 08:47:34 Derek Stanford British literature John Heath-Stubbs John Masefield British people Muriel Spark Poetry
13	Sarah Roberts (Stanford University) Diachronic development of endemic features in Hawai‘i Creole English: new insights on the role of substrate models Hawai‘i Creole English (HCE) has held an important place in creol Add to Reading List Source URL: www.creolisticsx.dk Language: English - Date: 2015-04-07 09:24:12 Languages of Cape Verde Creole language Hawaiian language English-based creole languages Hawaii Derek Bickerton Tok Pisin Pidgin Portuguese language Linguistics Sociolinguistics Languages of the United States
14	Influence of dissimilatory metal reduction on fate of organic and metal contaminants in the subsurface Derek R. Lovley ´ Robert T. Anderson Abstract Dissimilatory Fe(III)-reducing microorganisms have the ability to dest Add to Reading List Source URL: soils.stanford.edu Language: English - Date: 2004-03-08 19:33:02 Soil contamination Earth Biotechnology Environmental soil science Environmental engineering Geobacter Bioremediation Desulfuromonadales Groundwater Environment Chemistry Microbiology
15	A 115mW CMOS GPS Receiver Derek K. Shaeffer Center for Integrated Systems Stanford University Add to Reading List Source URL: www-smirc.stanford.edu Language: English - Date: 2009-08-19 18:18:37 Electronic design Low-noise amplifier Radio electronics GPS Oscillators Navigation Phase-locked loop Global Positioning System Electronic filter Electronic engineering Technology Electronics
16	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-05-03 19:17:14 Temporal logic Model theory Propositional calculus Mathematical logic Interpretation Substitution Well-formed formula Logic Formal languages Linear temporal logic
17	Compositional Analysis of Contract Signing Protocols Michael Backes a , Anupam Datta b , Ante Derek b , John C. Mitchell b and Mathieu Turuani c a Saarland Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:01:14 Communications protocol Data transmission Protocols Public-key cryptography Cryptographic protocols Network protocols Cryptography Data Information
18	Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. Protocol authentication properties are generally Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-12-27 15:51:40 Advantage Cryptographic protocol Cipher XTR Cryptography Ciphertext indistinguishability Semantic security
19	Sarah Roberts (Stanford University) Diachronic development of endemic features in Hawai‘i Creole English: new insights on the role of substrate models Hawai‘i Creole English (HCE) has held an important place in creol Add to Reading List Source URL: creolisticsx.dk Language: English - Date: 2015-04-07 09:24:12 Languages of Cape Verde Creole language Hawaiian language English-based creole languages Hawaii Derek Bickerton Tok Pisin Pidgin Portuguese language Linguistics Sociolinguistics Languages of the United States
20	Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-11-29 16:22:57 Data Kerberos Needham–Schroeder protocol Information Cryptographic nonce Cyberwarfare Cryptographic protocols Cryptography Computer network security

UPDATE